class ProducerConsumer:

  locked, count, log, waits = '', 0, '', ''

  def tryacquire(self):

    self.locked, seen = '🔒', self.locked

    return seen == ''

  def release(self):

    self.locked = ''

  def tp(self):

    for _ in range(2):

      while not self.tryacquire():

        pass

      if self.count == 1:

        _, self.waits = self.release(), self.waits + '1'

        while '1' in self.waits:

          pass

        while not self.tryacquire():

          pass

      self.log, self.count = self.log + '(', self.count + 1

      self.waits = self.waits[1:]

      self.release()

  def tc1(self):

    while not self.tryacquire():

      pass

    if self.count == 0:

      _, self.waits = self.release(), self.waits + '2'

      while '2' in self.waits:

        pass

      while not self.tryacquire():

        pass

    self.log, self.count = self.log + ')', self.count - 1

    self.waits = self.waits[1:]

    self.release()

  def tc2(self):

    while not self.tryacquire():

      pass

    if self.count == 0:

      _, self.waits = self.release(), self.waits + '3'

      while '3' in self.waits:

        pass

      while not self.tryacquire():

        pass

    self.log, self.count = self.log + ')', self.count - 1

    self.waits = self.waits[1:]

    self.release()

count = 0

locked =  (🔒)

log =

waits = 23 (2)

tc1._ = None

tc2._ = None (⊥)

tp._ = ⊥